Quadratic Assignment Problem
   HOME

TheInfoList



OR:

The quadratic assignment problem (QAP) is one of the fundamental
combinatorial optimization Combinatorial optimization is a subfield of mathematical optimization that consists of finding an optimal object from a finite set of objects, where the set of feasible solutions is discrete or can be reduced to a discrete set. Typical combi ...
problems in the branch of
optimization Mathematical optimization (alternatively spelled ''optimisation'') or mathematical programming is the selection of a best element, with regard to some criterion, from some set of available alternatives. It is generally divided into two subfi ...
or
operations research Operations research ( en-GB, operational research) (U.S. Air Force Specialty Code: Operations Analysis), often shortened to the initialism OR, is a discipline that deals with the development and application of analytical methods to improve decis ...
in mathematics, from the category of the facilities location problems first introduced by Koopmans and Beckmann. The problem models the following real-life problem: :There are a set of ''n'' facilities and a set of ''n'' locations. For each pair of locations, a ''distance'' is specified and for each pair of facilities a ''weight'' or ''flow'' is specified (e.g., the amount of supplies transported between the two facilities). The problem is to assign all facilities to different locations with the goal of minimizing the sum of the distances multiplied by the corresponding flows. Intuitively, the cost function encourages facilities with high flows between each other to be placed close together. The problem statement resembles that of the
assignment problem The assignment problem is a fundamental combinatorial optimization problem. In its most general form, the problem is as follows: :The problem instance has a number of ''agents'' and a number of ''tasks''. Any agent can be assigned to perform any ta ...
, except that the cost function is expressed in terms of quadratic inequalities, hence the name.


Formal mathematical definition

The formal definition of the quadratic assignment problem is as follows: :Given two sets, ''P'' ("facilities") and ''L'' ("locations"), of equal size, together with a
weight function A weight function is a mathematical device used when performing a sum, integral, or average to give some elements more "weight" or influence on the result than other elements in the same set. The result of this application of a weight function is ...
''w'' : ''P'' × ''P'' → R and a distance function ''d'' : ''L'' × ''L'' → R. Find the bijection ''f'' : ''P'' → ''L'' ("assignment") such that the cost function: ::\sum_w(a,b)\cdot d(f(a), f(b)) :is minimized. Usually weight and distance functions are viewed as square real-valued
matrices Matrix most commonly refers to: * ''The Matrix'' (franchise), an American media franchise ** ''The Matrix'', a 1999 science-fiction action film ** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
, so that the cost function is written down as: :\sum_w_d_ In matrix notation: :\min_ \operatorname(WXDX^T) where \Pi_n is the set of n \times n permutation matrices, W is the weight matrix and D is the distance matrix.


Computational complexity

The problem is NP-hard, so there is no known
algorithm In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific problems or to perform a computation. Algorithms are used as specifications for performing ...
for solving this problem in polynomial time, and even small instances may require long computation time. It was also proven that the problem does not have an approximation algorithm running in polynomial time for any (constant) factor, unless P = NP. The
travelling salesman problem The travelling salesman problem (also called the travelling salesperson problem or TSP) asks the following question: "Given a list of cities and the distances between each pair of cities, what is the shortest possible route that visits each cit ...
(TSP) may be seen as a special case of QAP if one assumes that the flows connect all facilities only along a single ring, all flows have the same non-zero (constant) value and all distances are equal to the respective distances of the TSP instance. Many other problems of standard
combinatorial optimization Combinatorial optimization is a subfield of mathematical optimization that consists of finding an optimal object from a finite set of objects, where the set of feasible solutions is discrete or can be reduced to a discrete set. Typical combi ...
problems may be written in this form.


Applications

In addition to the original plant location formulation, QAP is a mathematical model for the problem of placement of interconnected electronic components onto a printed circuit board or on a
microchip An integrated circuit or monolithic integrated circuit (also referred to as an IC, a chip, or a microchip) is a set of electronic circuits on one small flat piece (or "chip") of semiconductor material, usually silicon. Large numbers of tiny ...
, which is part of the
place and route Place and route is a stage in the design of printed circuit boards, integrated circuits, and field-programmable gate arrays. As implied by the name, it is composed of two steps, placement and routing. The first step, placement, involves decidi ...
stage of computer aided design in the electronics industry.


See also

*
Quadratic bottleneck assignment problem In mathematics, the quadratic bottleneck assignment problem (QBAP) is one of fundamental combinatorial optimization problems in the branch of optimization or operations research, from the category of the facilities location problems. It is related ...


References

;Notes ;Sources * {{cite book, author = Michael R. Garey and
David S. Johnson David Stifler Johnson (December 9, 1945 – March 8, 2016) was an American computer scientist specializing in algorithms and optimization. He was the head of the Algorithms and Optimization Department of AT&T Labs Research from 1988 to 2013, an ...
, year = 1979 , title = Computers and Intractability: A Guide to the Theory of NP-Completeness , publisher = W.H. Freeman , isbn = 0-7167-1045-5, title-link = Computers and Intractability: A Guide to the Theory of NP-Completeness A2.5: ND43, pg.218.


External links

* https://www.opt.math.tugraz.at/qaplib/ QAPLIB - A Quadratic Assignment Problem Library * http://www.wiomax.com/team/xie/maos-qap-quadratic-assignment-problem-project-portal/ MAOS-QAP - Java-based Quadratic Assignment Problem Solver * https://CRAN.R-project.org/package=qap - R package qap: Heuristics for the Quadratic Assignment Problem * https://apps.microsoft.com/store/detail/qapsolver/9N7WMCFB6NZZ - Metaheuristic QAP solver for Windows 10/11 NP-hard problems Combinatorial optimization